Non-monotonic logic - PDFSEARCH.IO - Document Search Engine

Non-monotonic logic
Results: 60

#	Item
11	What Next for ASP? (A Not-Entirely-Well-Informed Opinion) James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:54:41 Science Non-classical logic Mathematical logic Programming paradigms Knowledge representation Non-monotonic logic Stable model semantics Default logic Knowledge representation and reasoning Logic programming Reasoning Logic
12	Weak Conditional Logics of Normality James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:39:15 Non-classical logic Conditionals Reasoning Default logic Non-monotonic logic Material conditional Inference Entailment Counterfactual conditional Logic Propositional calculus Logical consequence
13	What’s in a Default? Thoughts on the Nature and Role of Defaults in Nonmonotonic Reasoning James Delgrande School of Computing Science, Simon Fraser University, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:27:39 Non-classical logic Reasoning Logical consequence Knowledge representation Default logic Non-monotonic logic Inference Autoepistemic logic Entailment Logic Mathematical logic Logic programming
14	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
15	Reasoning with Sets of Defaults in Default Logic Torsten Schaub∗ Institut f¨ur Informatik, Universit¨at Potsdam, Postfach, D–14415 Potsdam, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-03-09 17:14:07 Mathematics Logic programming Reasoning Default logic Knowledge representation Defaults Non-monotonic logic Function Inference Logic Mathematical logic Non-classical logic
16	Epistemic Logic: : Annotated Bibliography Ernest Davis∗ New York University New York, New York Leora Morgenstern Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-09-12 16:22:28 Reasoning Non-classical logic Logic programming Artificial intelligence Epistemic modal logic Rohit Jivanlal Parikh Common knowledge Non-monotonic logic Modal logic Logic Science Mathematical logic
17	2. Author1 et al. Short title of the article 3 Add to Reading List Source URL: www.sigweb.org Language: English - Date: 2015-04-29 03:19:22 Electronic literature Hypermedia Hypertext Ted Nelson Knowledge representation and reasoning Non-monotonic logic Science Abstraction Reasoning Logic Scientific modeling
18	This Is the Title of the Paper AUTHOR 1 Affiliation 1 and AUTHOR 2 AND AUTHOR 3 Affiliation 2 Add to Reading List Source URL: www.sigweb.org Language: English - Date: 2015-04-29 03:19:22 Scientific modeling Hypertext Non-monotonic logic Science Cognition Reasoning Logic Knowledge representation and reasoning
19	Call for Papers KR-2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, Sept, 2008 Collocated with NMR-08, ICAPS-08, CP-08 Knowledge Representation a Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2007-08-20 15:27:27 Mathematical logic Non-classical logic Knowledge representation Non-monotonic logic Knowledge representation and reasoning Description logic Belief revision Paraconsistent logic Default logic Logic Science Reasoning
20	On a Rule-Based Interpretation of Default Conditionals James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2007-05-11 16:16:44 Philosophical logic Reasoning Binary operations Default logic Non-monotonic logic Inference Entailment Material conditional Monotonicity of entailment Logic Logical consequence Non-classical logic